61. QED structure functions : Ann Arbor, MI, 1989
پدیدآورنده : editor, Giovanni Bonvicini
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Congresses ، Quantum electrodynamics,Congresses ، Quantum chromodynamics,Congresses ، Numerical calculations,Congresses ، Radiative corrections
رده :
QC
679
.
Q43
1990
62. Scientific computation with automatic result verification
پدیدآورنده : U. Kulisch and H.J. Stetter (eds.)
موضوع : Numerical calculations- Verification- Congresses,Algorithms- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
63. Simulation of materials processing: Theory, methods and applications
پدیدآورنده : / edited by J. Huetink, F.P.T. Baaijens
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Metal-work- Mathematical models- Congresses,Polymers- Mathematical models- Congresses,Numerical calculations- Congresses
رده :
TS200
.
I58
1998
64. Simulation of materials processing : theory, methods and applications: Proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes , Enschede/Netherlands, 22-25 June 1998
پدیدآورنده : edited by J. Huetink, F.R.T. Baaijens
کتابخانه: (طهران)
موضوع : Metal-work Mathematical models -- Congresses, Polymers Mathematical models -- Congresses, Numerical calculations Congresses
رده :
TJ
1189
.
N9715
1998
65. Simulation of materials processing: theory, methods and applications: proceedings of the Seventh International Conference on Numerical Methods in Industrial Forming Processes--NUMIFORM '2001, Toyohashi, Japan, 18-20 June 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Metal-work-- Mathematical models,Congresses ، Numerical calculations,Congresses ، Polymers-- Mathematical models
رده :
TS
205
.
I57
2001
66. Simulation of materials processing: theory, methods and applications: proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes--NUMIFORM '98, Enschede/Netherlands/22-25 June 1998
پدیدآورنده : International Conference on Numerical Methods in Industrial Forming Processes )6th : 8991 : Enschede, Netherlands(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Congresses ، Metal-work -- Mathematical models,Congresses ، Polymers -- Mathematical models,Congresses ، Numerical calculations
رده :
TS
205
.
I57
67. Simulation of materials processing : theory, methods and applications : proceedings of the fifth International Conference on Numerical Methods in Industrial Forming Processes
پدیدآورنده : edited by Shan-Fu Shen & Paul R. Dawson
کتابخانه: (طهران)
موضوع : Metal-work Mathematical models -- Congresses, Polymers Mathematical models -- Congresse, Numerical calculations Congresse
رده :
TJ
1189
.
N9715
1995
68. Simulation of materials processing: theory, methods and applications: proceedings of the 7th International Conference on Numerical Methods in Industrial Forming Processes - Numiform 2001/ Toyohashi/ Japan/ 18-20 June 2001
پدیدآورنده : edited by Ken-ichiro Mori
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical models -- Congresses ، Metal-work,Mathematical models -- Congresses ، Polymers,Congresses ، Numerical calculations
رده :
TS
200
.
N85
2001
69. Simulation of materials processing: theory, methods and applications: proceedings of the Sixth International Conference on Numerical Methods in Industrial Forming Processes--NUMIFORM '98, Enschede/Netherlands/22-25 June 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Metal-work-- Mathematical models,Congresses ، Polymers-- Mathematical models,Congresses ، Numerical calculations
رده :
TS
205
.
I57
1998
70. Symbolic and numerical scientific computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
71. Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers
پدیدآورنده : Franz Winkler, Ulrich Langer )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Differential equations -- Numerical solutions,Congresses ، Numerical calculations,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2630
72. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
73. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
74. Topics in validated computations
پدیدآورنده : / edited by Jeurgen Herzberger
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Interval analysis (Mathematics), Congresses,Numerical calculations, Verification, Congresses,Algorithms, Congresses,Linear algebra
رده :
QA297
.
75
.
I43
1993
75. Topics in validated computations
پدیدآورنده : / edited by Jurgen Herzberger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Interval analysis (Mathematics)- Congresses,Numerical calculations- Verification- Congresses,Algorithms- Congresses
رده :
QA297
.
75
.
I43
1993
